Model-based design - PDFSEARCH.IO - Document Search Engine

Model-based design
Results: 407

#	Item
121	Embedding Formal Techniques into Industrial Product Development Experiences with the DESTECS approach Marcel Verhoef Chess eT International B.V. Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Prevention Systems science Dependability Embedded system Fault injection Fault-tolerant system Simulation Control engineering Computing Model-based design
122	Saturn: A SAT-based Tool for Bug Detection? Yichen Xie and Alex Aiken Computer Science Department Stanford University {yxie,aiken}cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-05-20 18:05:46 Formal methods Electronic design automation Logic in computer science NP-complete problems Model checking Data types Boolean satisfiability problem Ada Pointer Computing Software engineering Theoretical computer science
123	The United States of a Meta-model build with MyDraft An agile model-driven cloud-based platform for data-oriented rich web applications Michel Zam Gilles Dodinet Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2012-10-11 08:28:38 Cloud computing Data model Software architecture Software development Software design Unified Modeling Language Service-oriented architecture Software engineering Computing Domain-specific modeling
124	Patterns in Model-Based Development D. Sinnig1,2 , P. Forbrig1 and A. Seffah2 (1) Software Engineering Group Department of Computer Science University of RostockRostock, Germany Add to Reading List Source URL: wwwswt.informatik.uni-rostock.de Language: English - Date: 2004-09-22 05:02:49 Software design patterns Human–computer interaction Software design Interaction design pattern Pattern Software architecture Object-oriented design User interface design Design Patterns Software engineering Computing Design
125	Qt Essentials - Model View Module Training Course Visit us at http://qt.digia.com Produced by Digia Plc. Material based on Qt 5.0, created on September 27, 2012 Add to Reading List Source URL: d3hp9ud7yvwzy0.cloudfront.net Language: English - Date: 2014-09-19 08:37:24 Software design patterns Model Conceptual model Economic model Qt View model Scientific modelling Software Computing Software architecture
126	Profiled Model Based Power Simulator for Side Channel Evaluation Nicolas Debande1,2 , Ma¨el Berthier1 , Yves Bocktaels1 and Thanh-Ha Le1 1 Morpho Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2012-12-16 09:22:52 Instruction set architectures Logic design SystemC Simulation Microcontroller Logic simulation ARM architecture Electronic engineering Digital electronics Electronic design automation
127	The Process to Develop REAL-TIME LEARNING The need for a proven training methodology THE NEED FOR A PROVEN Add to Reading List Source URL: www.fisglobal.com Language: English - Date: 2014-03-24 09:56:18 Educational psychology Learning Distance education Instructional design E-learning ADDIE Model Blended learning Confidence-based learning Education Educational technology Pedagogy
128	IEA Annex 60 Computational tools for building and community energy systems Christoph van Treeck1, Michael Wetter2 (Co-operating Agents) Add to Reading List Source URL: www.iea-ebc.org Language: English - Date: 2014-10-02 03:36:55 Software engineering Object-oriented programming Scientific modeling Modelica Dymola Building information modeling RWTH Aachen University Model-based design Agent-based model Application software Computing Simulation software
129	REGISTRATION BROCHURE Model-Based Systems Engineering Symposium Innovate, represent and communicate in conceptual design An event of the Australian Systems Engineering Workshop 2013 Add to Reading List Source URL: www.sapro.com.au Language: English - Date: 2013-08-25 20:39:10 Invoice Adelaide Douglas Mawson Value added tax Business Geography of South Australia Geography of Australia International Council on Systems Engineering Systems engineering Mawson Lakes South Australia
130	W HITE P A P ER Bridging the Worlds of 2D and 3D CAD Design Add to Reading List Source URL: files.solidworks.com Language: English Computer-aided engineering Visual arts SolidWorks DriveWorks Technical drawing Model-based definition ASME Y14.41-2003 3D modeling SolidCAM Application software 3D graphics software Computer-aided design

UPDATE